Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Mailbox Types for Unordered Interactions
2018-01-01 Ugo de'Liguoro; Luca Padovani
Mixin Composition Synthesis Based on Intersection Types
2015-01-01 Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob
Non-Commutative Infinitary Peano Arithmetic
2011-01-01 M. Tatsuta; S. Berardi
Observability for Pair Pattern Calculi
2015-01-01 Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
Probabilistic Analysis of Binary Sessions
2020-01-01 Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
2014-01-01 S. Berardi; S. Steila
Solvability in a probabilistic setting
2020-01-01 S. Ronchi Della Rocca, U. Dal Lago, C. Faggian
Standardization of a Call-By-Value Lambda-Calculus
2015-01-01 Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S.
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
2021-01-01 James C. A. Main, Mickael Randour, Jeremy Sproston
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Mailbox Types for Unordered Interactions | 2018 | Ugo de'Liguoro; Luca Padovani | |
| Mixin Composition Synthesis Based on Intersection Types | 2015 | Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob | |
| Non-Commutative Infinitary Peano Arithmetic | 2011 | M. Tatsuta; S. Berardi | |
| Observability for Pair Pattern Calculi | 2015 | Bucciarelli A.; Kesner D.; Ronchi Della Rocca S. | |
| Probabilistic Analysis of Binary Sessions | 2020 | Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto | |
| Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic | 2014 | S. Berardi; S. Steila | |
| Solvability in a probabilistic setting | 2020 | S. Ronchi Della Rocca, U. Dal Lago, C. Faggian | |
| Standardization of a Call-By-Value Lambda-Calculus | 2015 | Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S. | |
| Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives | 2021 | James C. A. Main, Mickael Randour, Jeremy Sproston |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile